(0 7 4)(1 19 16)(2 14 12)(3 10 8)(5 15 6)(9 20 18)(11 17 13)
ALLOWS (11/8)-SEQUENCE
1: (5 15 20)
(0 7 4)(1 19 16)(2 14 12)(3 10 8)(5 18 9 20 6)(11 17 13)(15)
2: (6 9 20)
(0 7 4)(1 19 16)(2 14 12)(3 10 8)(5 18 9)(6)(11 17 13)(15)(20)
3: (3 10 8)
(0 7 4)(1 19 16)(2 14 12)(3)(5 18 9)(6)(8)(10)(11 17 13)(15)(20)
4: (0 7 4)
(0)(1 19 16)(2 14 12)(3)(4)(5 18 9)(6)(7)(8)(10)(11 17 13)(15)(20)